More from this Author

Introduction to Higher-Order Categorical Logic

by J. Lambek, P. J. Scott, B. Bollobas (Contribution by), W. Fulton (Contribution by), A. Katok (Contribution by), F. Kirwan (Contribution by), P. Sarnak (Contribution by), B. Simon (Contribution by)

The Heritage of Thales

by W. S. Anglin, J. Lambek

The Heritage of Thales

by W. S. Anglin, J. Lambek